concurrency相关论文
Exploring the interleaving space of a multithreaded program to efficiently detect concurrency bugs is important but also......
We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique is al......
The lessons of history indicate that mismanagement of natural resources and the environment often leads to potentially a......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
This paper presents a concurrent object-oriented modeling language based on Petri nets: OMNets, which helps greatly to a......
...
Concurrency debugging is an extremely important yet challenging problem that has been hampering developer productivity a......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
Finite Chu spaces are proposed for the modeling and verification of concurrent programs.In order to model not only typic......
This paper presents a type system, called Location System (L-S), to control the interferences in the ambient-like calcul......
This study proposes a recoverable stress testing algorithm (RSTA) for such special devices as compression/decom-pression......
This paper proposes the concept of generalized L systems, GL systems for short, which can describe asynchronized concurr......
为了减少网络管理系统NBOS中应用统计功能的响应时间,文中采用OpenMP对系统进行了并行改进.首先,指出由于海量数据的统计,NBOS的应......
并发与死锁是操作系统的重要问题,对进程并发、死锁及饥饿现象进行研究,深入探讨了利用信号量解决进程并发应注意的问题,并结合实......
自控网系统是Petri网系统的一个子类，与P／T系统以及基本网系统相比较，具有更强的描述能力和建模能力。文章以自控网系统为基础，定义了......
大量的考生机同时访问现有的考试系统会造成服务器响应缓慢甚至崩溃。基于线程池的高并发访问考试系统,采取线程池控制考试系统对......
...
Combination Reduction： A SYN-Sequence Selection Strategy for Reachability Testing of Concurrent Prog
测试的 Reachability 是严峻的并发的程序的一条途径，没有构造静态的模型，它能系统地行使每部分订的 SYN 顺序。事实上，不是都要测试......
声纹识别是一种具有经济性、非接触性、准确性的生物特征识别技术。它从说话人说话语音中提取具有代表性的声纹特征,以此识别说话......
Given the asymmetric communication capabilities in mobile real-time environments, traditional serializability-based appr......
基于时间通信顺序进程（TCSP）语言——一种用于建模、验证实时并发系统的形式化语言，进行了一种新型实时并发系统测试方法的研究，以提高......
The lessons of history indicate that mismanagement of natural resources and the environment often leads to potentially a......
为有效解决高速公路视频云联网平台并发访问能力较差的问题,采用Nginx负载均衡技术处理该平台应用层的请求。深入分析加权负载均衡......
基于并发对象提出了一种新的多线程面向对象处理模型ＭＣＯＯＭ。该模型改进了传统面向对象的进程思想和多线程模型中对象体所导致的瓶颈现象......
在对传统迷宫求解算法的不足进行分析的基础上,提出一种新的基于时延Petri网求迷宫通路的算法（Algo-rithm of Maze problem based o......
掌握好数据并发访问技术是保障数据库正确性、一致性所必需的.文章在实践的基础上总结出了并发事务设计原则,通过使用反复实验与测......
为了研究和发展分布式人工智能，探讨一种新的计算模型，利用面向对象技术提出了一个基于对象的并发模型（OBCM）。讨论了它的两种通讯机制......
随着计算机技术、网络技术的发展和高校对计算机的大量投入，机房管理软件需要实时处理大量数据。如果采用常规的程序设计技术，网络通......
在当今流行的SOA（面向服务的架构，Service Oriented Architecture）服务体系中，BPEL（Business Process Execution Language）是现今使用最......
提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统；在并发意义下研究其动态行为及其特性，并把有关结......
该文给出了一种对Ｃ＋＋进行并发扩充的方案，它基于这样的并发面向对象模型：系统由一组自治的并发对象构成，对象可以有一个体，一旦对象被创建......
如果不考虑继承性，并发性与对象技术的结合是很自然的，继承反常（又称继承异常）现象是继承性和并发性不相容的主要原因之一，现阶段人们对......
MS SQL Server是专为分布式客户/服务器环境设计的数据库管理系统,它提供了一套系统的安全保护机制,具有高的安全性、完整性以及并......
本文提出了七条设计原理,使一类由离散条件组成系统状态和以分立功能部件组成系统动作机能的分布式系统有了一种设计依据.其中,前......
在移动计算环境中,事务移动性和无线网络固有的缺陷使得传统分布式实时事务管理机制不足以支持移动实时事务的执行,故有必要为移动......
在面向对象的应用软件中，广泛存在着对象中的数据和方法与关系型数据库之间相关联的问题。目前使用的主流数据库多是关系型的，并且使......
<正> 目前,各企事业单位的图书资料管理多数还停留在效率比较低下的手工作业的水平上;另一方面,大部分单位内部已建立了局域网环境......
<正> 1 引言继承机制是面向对象软件开发中的重要设施,是实现软件复用和扩充的一种有效的语言机制,它是顺序面向对象语言的一个基......
Concurrent real-time nonuniform network is the developing trend of today's network-constructing technology. In this ......
In distributed systems,high efficiency can be achieved using asynchronous API between client and server.This paper provi......
在CCS中,Milner把系统中的两个事件处于并发定义为＂它们可以按任意顺序发生＂。这个关于并发的定义被称之为＂交叠式并发＂。然而在网论中......
为了实现Z-pinch研究的大型实验中大数量多种类测试仪器的集中控制,利用虚拟仪器技术和并发控制技术管理数十台测试仪器,介绍了基......
从事务的角度分析了ＭＳ ＳＱＬ Ｓｅｒｖｅｒ中各种锁定类型的方法和相互之间的关系，以及在数据页和数据表上锁定粒度对并发性和一致性的影响，通过一些具......
文章讨论了各种不同并发控制方法，针对协同交互并发算法中并发度和同步机制不能同时兼顾、并发算法开发复杂的问题，给出了基于并发冲......
共享内存多处理器系统中并发程序执行过程与结果高度不确定,导致并发错误难触发、难调试.提出一种复杂性介于传统方法与现代方法之......
分析了SQLServer 2000的并发控制机制,在实践的基础上总结出了并发事务设计原则,并对典型并发问题、自定义锁应用等进行探讨,最后......
许多并发程序存在同步粒度过粗的问题，可以通过锁分解等代码重构来逐步演化同步结构，提高程序并行性。然而，手工重构一方面识别重构契......
分析了地理信息系统的事务类型与特征,介绍了目前具有代表性的几类ORB产品采用的并发模型及特点,探讨了一类适合GIS事务特点的多事......
根据多线程数据通信系统的设计需求,建立数据传送模块的Petri网模型.运用模型对数据传输过程所涉及的线程之间的同步协作、线程对......
